Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
381	Spurious Disambiguation Error Detection Claudio Sacerdoti Coen and Stefano Zacchiroli Department of Computer Science, University of Bologna [removed], [removed] Abstract. The disambiguation appro Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2007-10-20 06:44:53 Interpretation Philosophy of language Philosophy of mind Semantics Symbol Structure Linguistics Golden ratio base Linear temporal logic Model theory Mathematics Logic
382	LTL-Model-Checking via Model Composition Ingo Felscher RWTH Aachen University, 52074 Aachen, Germany, [removed], http://automata.rwth-aachen.de/~felscher/ Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-03-01 05:03:49 Temporal logic Automata theory Model checking Model theory First-order logic Symbol Constructible universe Büchi automaton Well-formed formula Logic Mathematical logic Linear temporal logic
383	Towards Domain-Specific Property Languages: The ProMoBox Approach Bart Meyers, Manuel Wimmer, Hans Vangheluwe, Joachim Denil The 13th Workshop on Domain-Specific Modeling @ SPLASH 2013 Motivation Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-11-06 12:27:21 Elevator Formal methods Software development Software engineering Philosophy of technology Temporal logic in finite-state verification Model checking Linear temporal logic Domain-specific modeling
384	Controlling Wild Bodies Using Linear Temporal Logic Leonardo Bobadilla Oscar Sanchez Justin Czarnowski [removed] [removed] [removed] Add to Reading List Source URL: msl.cs.uiuc.edu Language: English - Date: 2011-10-14 01:34:06 Modal logic Model checking Robonaut Markov chain Kinematics Logic Linear temporal logic Temporal logic
385	An Algorithm for Computing the Restriction Scaffold Assignment Problem in Computational Biology Justin Colannino Godfried Toussaint School of Computer Science Add to Reading List Source URL: www-cgrl.cs.mcgill.ca Language: English - Date: 2005-07-11 16:19:18 Quantum mechanics Linear temporal logic Mathematics Function Functional analysis
386	Feature Selection Using Regularization in Approximate Linear Programs for Markov Decision Processes Marek Petrik* [removed] Gavin Taylor† Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2010-05-21 10:45:03 Linear temporal logic Functional analysis Distribution Representation theory
387	Automated logical verication based on trace abstractions Nils Klarlund Mogens Nielsen Kim Sunesen BRICSy Department of Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:47:25 Non-classical logic Matrix theory Trace Abstraction Modal logic Mind Logic Mathematics Linear algebra
388	A Modified Prony Algorithm for Fitting Functions Defined by Difference Equations M. R. Osborne ∗ Add to Reading List Source URL: www.statsci.org Language: English - Date: 2012-06-21 23:57:17 Linear algebra Differential geometry Deduction Entailment Logical consequence Metalogic Matrix difference equation Eigenvalues and eigenvectors Holomorphic functional calculus Algebra Mathematics Logic
389	Logic and Automata over Infinite Trees Der Fakult¨at f¨ ur Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westf¨alischen Technischen Hochschule Aachen Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:56 Formal languages Combinatorics on words Mathematical logic Models of computation Linear temporal logic Finite-state machine Tree automaton Parity game Alphabet Automata theory Mathematics Theoretical computer science
390	Games and Automata for Verification ¨ Christof Loding RWTH Aachen, Germany 2009 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:52 Automata theory Tree Linear temporal logic Temporal logic Model checking

UPDATE